Esterel Technologies Integrates SCADE with Advanced Technologies for Safety-Critical Software Development
MOUNTAIN VIEW, Calif. & GUYANCOURT, FRANCE--(BUSINESS WIRE)--March
11, 2002--Esterel Technologies today announced the newest version of
its SCADE(TM) safety-critical software application development
environment.
SCADE is used in the aerospace, automotive, and energy industries
to automate costly and time-consuming coding and validation work
through executable specification and automatic code generation. It is
the only commercially available tool that goes from formal
specification to DO178B Level A certified C code.
SCADE's open format makes it easy for other technologies to be
integrated. Added to the new version of SCADE (SCADE 4.1.1) are links
to three other products, creating a single environment for embedded
software developers in the aerospace, automotive, and energy
industries to develop safety-critical embedded software in less time
and with greater ease and reliability. The new links provided are for
Telelogic DOORS(TM), Matlab/Simulink(TM) and configuration management
tools that support Microsoft's SCCI interface. The integration of
SCADE with Telelogic DOORS gives developers the ability to track and
manage their changes, from high-level requirements to tests.
In addition, the integration with Prover SL(TM) exhaustive proof
engine enables developers to perform safety-critical property checking
at the specification and design levels.
Compliance with Microsoft SCCI enables SCADE users to interface
with configuration management tools such as Telelogic Synergy(TM),
MERANT PVCS(TM) and Rational Clearcase(TM).
SCADE's integration with Matlab/Simulink will enable system
engineers to export Simulink models into SCADE, generate automatically
high quality C, C++, ADA as well as DO178B certified C code that can
be re-imported in Simulink as an "S" function in order to simulate the
complete system.
"By providing an automatic translation of Matlab/Simulink models
to SCADE formal executable specifications, system engineers in both
aerospace and automotive industries can reuse their models developed
within previous projects and leverage these assets by going seamlessly
toward a certified or serial code," said Hassan Laasri, vice-president
of marketing at Esterel Technologies. "The new version of SCADE will
provide a significant savings in both time and design costs while
maintaining the required levels of quality for the development of new
as well as the re-engineering of legacy safety-critical software."
Pricing and Availability
Pricing for SCADE 4.1.1 starts at $19,000 U.S. and varies
according to configuration and license type. SCADE 4.1.1 is available
now through Esterel Technologies' sales representatives. SCADE and
Simulink integration will be available by April 2002.
About Esterel Technologies
Esterel Technologies provides electronic system and embedded
software designers with methodologies and tools that improve their
productivity and remove the barriers between system specification,
implementation, and validation. The company's products automate costly
and time-consuming coding and validation work through executable
specification, intelligent testbench generation, and automatic code
generation. Esterel Technologies is an international company with
offices in France, Germany, UK and the United States.
For more information: www.esterel-technologies.com
Contact:
Esterel Technologies
Hassan Laasri, +33-1-30-12-27-42
hassan.laasri@esterel-technologies.com
or
Cayenne Communication
Michelle Clancy, 252/940-0981
michelle.clancy@cayennecom.com
